χ-Spaces: Programming Security Protocols
نویسنده
چکیده
We introduce χ-Spaces, a domain specific programming language tailored to the development of security protocols. χ-Spaces has a rigorous formal semantics which allows us to reason about the actual implementation of security protocols. In this manner we fill-in the gap between the formal specification of a protocol and its actual implementation.
منابع مشابه
Wireless authentication in χ-Spaces
The χ-Spaces framework [CCM02b] provides a set of tools to support every step of the security protocol’s life-cycle. The framework includes a simple, yet powerful programming language which is an implementation of the Security Protocol Language (SPL) [CW01]. SPL is a formal calculus designed to model security protocols and prove interesting properties about them. In this paper we take an authen...
متن کاملDeveloping security protocols in χ-Spaces
It is of paramount importance that a security protocol effectively enforces the desired security requirements. The apparent simplicity of informal protocol descriptions hides the inherent complexity of their interactions which, often, invalidate informal correctness arguments and justify the effort of formal protocol verification. Verification, however, is usually carried out on an abstract mod...
متن کاملA Framework for the Development of Protocols
We present the χ-Spaces framework, a tool designed to support every step of a security protocol’s life cycle. Its Integrated Development Environment (IDE) eases the task of protocol design, debugging and simulation.
متن کاملComposing Strand Spaces
The strand space model for the analysis of security protocols is known to have some limitations in the patterns of nondeterminism it allows and in the ways in which strand spaces can be composed. Its successful application to a broad range of security protocols may therefore seem surprising. This paper gives a formal explanation of the wide applicability of strand spaces. We start with an exten...
متن کاملFrom a model to a working language [draft]
A distributed program implementing a security protocol allows some agents to exchange information over an untrusted network in a secure manner. The goal of the communication being, for instance, the transmission of some secrets, achieving authentication among the communicating parties or sending a message in an anonymous way. Although at an informal level security protocols appear as a short se...
متن کامل